(differential geometry, Riemannian geometry) A real, smooth differentiable manifold whose each point has a tangent space equipped with a positive-definite inner product;(more formally) an ordered pair (M, g), where M is a real, smooth differentiable manifold and g its Riemannian metric.